Gal(E/F) is solvable.